Nuprl Definition : ma-msg
0,22
postcript
pdf
M
.Msg == Msg(1of(2of(
M
)))
latex
Definitions
2of(
t
)
,
1of(
t
)
,
Msg(
da
)
,
M
.Msg
FDL editor aliases
ma-msg
origin